/LMAR=0/XLINE=3/FONT#0=BAXL30/FONT#1=BAXM30/FONT#2=BAXB30/FONT#3=SUB/FONT#4=SUP/FONT#5=BASL35/FONT#6=NGR25/FONT#7=MATH30/FONT#8=FIX25/FONT#9=GRK30



␈↓ ↓H␈↓␈↓ 
)May 9, 1977 

␈↓ ↓H␈↓α␈↓ ∧hPREPARATION FOR AI QUAL

␈↓ ↓H␈↓␈↓ α_Please␈αbe␈αprepared␈αto␈α
discuss␈αthe␈αfollowing␈αquestions␈αorally.␈α
 If␈αyou␈αwant␈αto␈αprepare␈α
a␈αtwo
␈↓ ↓H␈↓page written discussion for the exam committee, you may do so.

␈↓ ↓H␈↓␈↓ α_One␈α∞computer␈α
program␈α∞says␈α
about␈α∞another,␈α
"It␈α∞knows␈α
I␈α∞want␈α
to␈α∞use␈α
the␈α∞telephone␈α∞line␈α
to
␈↓ ↓H␈↓Boston, and it is deliberately holding on to it in order to prevent my using it."

␈↓ ↓H␈↓␈↓ α_1.␈αEnglish␈αaside,␈αhow␈αwould␈αyou␈αrepresent␈αsuch␈αan␈αassertion␈αas␈αa␈αLISP,␈αPLANNER␈αor␈αfirst
␈↓ ↓H␈↓order logic data structure?

␈↓ ↓H␈↓␈↓ α_2.␈αWhat␈αsemantics␈αwould␈αyou␈αgive␈αthis␈αassertion,␈αi.e.␈αin␈αwhat␈αstates␈αof␈αthe␈αworld␈αwould␈αyou
␈↓ ↓H␈↓regard it as true?

␈↓ ↓H␈↓␈↓ α_3.␈αHow␈αwould␈αyou␈αaxiomatize␈αthe␈αconcepts␈α
involved,␈αwhat␈αrules␈αof␈αinference␈αwould␈αyou␈α
use,
␈↓ ↓H␈↓and/or␈αwhat␈α
MICROPLANNER␈α"theorems"␈α
involving␈αthem␈αwould␈α
you␈αgive␈α
a␈αprogram␈αthat␈α
must
␈↓ ↓H␈↓generate such a statement and use it?

␈↓ ↓H␈↓␈↓ α_4.␈α⊃From␈α∩what␈α⊃evidence␈α∩might␈α⊃the␈α∩computer␈α⊃deduce␈α∩such␈α⊃a␈α∩statement?␈α⊃ E.g.␈α∩from␈α⊃what
␈↓ ↓H␈↓external observations?

␈↓ ↓H␈↓␈↓ α_5.␈α∂When␈α∂if␈α⊂ever␈α∂would␈α∂it␈α⊂be␈α∂important␈α∂for␈α∂a␈α⊂computer␈α∂program␈α∂to␈α⊂be␈α∂able␈α∂to␈α⊂use␈α∂such
␈↓ ↓H␈↓assertions?

␈↓ ↓H␈↓␈↓ α_As stated in the old syllabus, discussion of this question will take about half the exam time.

␈↓ ↓H␈↓␈↓ α_Examiners and Examinees should meet at 9:30 am, Saturday, May 14 in 204 Polya.